#!/bin/bash

SKIPLIST_FILE="../../src/skiplist/lockfree_skiplist.c"

echo "Analyzing skiplist implementation..."
vsyncer info $SKIPLIST_FILE

echo "Optimizing skiplist implementation..."
vsyncer optimize -A -1 $SKIPLIST_FILE

echo "Verifying optimization..."
vsyncer verify $SKIPLIST_FILE

echo "Running skiplist benchmarks..."
cd ../../
make
./build/tests/benchmark/bench_skiplist 